[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 12 35 37 12 37

N.S.

1 1.00 1.00 0.93 0.86 2.50 2.64 0.86 2.64

time (sec)

N/A 0.129 0.001 0.031 0.214 0.214 0.129 0.283 0.131

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 48 52 73 124 70 54 60

N.S.

1 1.00 0.84 0.91 1.28 2.18 1.23 0.95 1.05

time (sec)

N/A 0.183 0.020 0.036 0.206 0.226 0.217 0.313 0.156

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 64 69 91 153 90 71 85

N.S.

1 1.00 0.91 0.99 1.30 2.19 1.29 1.01 1.21

time (sec)

N/A 0.203 0.038 0.038 0.257 0.227 0.239 0.319 0.102

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 79 83 108 174 104 86 101

N.S.

1 1.00 0.85 0.89 1.16 1.87 1.12 0.92 1.09

time (sec)

N/A 0.224 0.034 0.038 0.200 0.223 0.238 0.298 0.155

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 88 93 117 183 114 93 113

N.S.

1 1.00 0.86 0.91 1.15 1.79 1.12 0.91 1.11

time (sec)

N/A 0.237 0.037 0.038 0.210 0.226 0.255 0.293 0.126

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 101 105 130 196 128 108 123

N.S.

1 1.00 0.86 0.90 1.11 1.68 1.09 0.92 1.05

time (sec)

N/A 0.255 0.044 0.039 0.202 0.224 0.269 0.301 0.174

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 139 121 180 250 190 128 126

N.S.

1 1.00 0.93 0.81 1.20 1.67 1.27 0.85 0.84

time (sec)

N/A 0.316 0.016 0.039 0.234 0.218 0.459 0.294 1.145

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 128 110 169 239 180 117 115

N.S.

1 1.00 0.92 0.79 1.22 1.72 1.29 0.84 0.83

time (sec)

N/A 0.301 0.023 0.036 0.208 0.218 0.442 0.304 0.584

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 104 99 157 228 165 105 102

N.S.

1 1.00 0.81 0.77 1.23 1.78 1.29 0.82 0.80

time (sec)

N/A 0.271 0.031 0.036 0.202 0.221 0.391 0.282 0.207

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 104 87 145 215 153 88 91

N.S.

1 1.00 0.88 0.74 1.23 1.82 1.30 0.75 0.77

time (sec)

N/A 0.257 0.020 0.036 0.213 0.220 0.365 0.282 0.445

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 77 80 136 193 141 79 81

N.S.

1 1.00 0.71 0.73 1.25 1.77 1.29 0.72 0.74

time (sec)

N/A 0.241 0.016 0.036 0.215 0.219 0.300 0.309 0.128

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 64 63 120 120 128 62 72

N.S.

1 1.00 3.76 3.71 7.06 7.06 7.53 3.65 4.24

time (sec)

N/A 0.132 0.008 0.033 0.197 0.220 0.255 0.286 0.152

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 53 52 109 109 116 51 22

N.S.

1 1.00 1.51 1.49 3.11 3.11 3.31 1.46 0.63

time (sec)

N/A 0.143 0.008 0.034 0.222 0.219 0.240 0.291 0.077

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 64 42 41 98 98 104 40 48

N.S.

1 1.23 0.81 0.79 1.88 1.88 2.00 0.77 0.92

time (sec)

N/A 0.190 0.009 0.034 0.202 0.223 0.220 0.297 0.076

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 31 30 87 87 92 29 31

N.S.

1 1.00 0.66 0.64 1.85 1.85 1.96 0.62 0.66

time (sec)

N/A 0.170 0.006 0.036 0.210 0.219 0.233 0.312 0.090

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 20 19 76 76 80 18 18

N.S.

1 1.00 0.67 0.63 2.53 2.53 2.67 0.60 0.60

time (sec)

N/A 0.159 0.004 0.033 0.208 0.213 0.209 0.292 0.107

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 12 68 73 12 70

N.S.

1 1.00 1.00 0.93 0.86 4.86 5.21 0.86 5.00

time (sec)

N/A 0.124 0.001 0.034 0.233 0.218 0.209 0.293 0.068

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 81 85 139 256 141 87 102

N.S.

1 1.00 0.82 0.86 1.40 2.59 1.42 0.88 1.03

time (sec)

N/A 0.224 0.036 0.041 0.220 0.225 0.362 0.295 0.493

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 97 104 157 285 162 104 151

N.S.

1 1.00 0.83 0.89 1.34 2.44 1.38 0.89 1.29

time (sec)

N/A 0.255 0.060 0.046 0.235 0.224 0.429 0.272 0.197

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 112 116 174 306 175 119 167

N.S.

1 1.00 0.78 0.81 1.21 2.12 1.22 0.83 1.16

time (sec)

N/A 0.290 0.042 0.050 0.262 0.227 0.394 0.276 0.215

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 123 127 185 317 187 130 179

N.S.

1 1.00 0.78 0.81 1.18 2.02 1.19 0.83 1.14

time (sec)

N/A 0.315 0.058 0.047 0.239 0.230 0.436 0.306 0.322

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 186 161 143 234 338 250 149 151

N.S.

1 1.00 0.87 0.77 1.26 1.82 1.34 0.80 0.81

time (sec)

N/A 0.379 0.027 0.051 0.219 0.224 0.765 0.299 1.353

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 150 132 223 327 236 138 138

N.S.

1 1.00 0.85 0.75 1.26 1.85 1.33 0.78 0.78

time (sec)

N/A 0.367 0.018 0.046 0.220 0.218 0.776 0.293 0.260

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 137 120 211 314 224 121 127

N.S.

1 1.00 0.86 0.75 1.33 1.97 1.41 0.76 0.80

time (sec)

N/A 0.327 0.020 0.045 0.234 0.224 0.905 0.290 1.010

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 111 113 202 292 212 112 117

N.S.

1 1.00 0.72 0.73 1.31 1.90 1.38 0.73 0.76

time (sec)

N/A 0.313 0.020 0.043 0.231 0.216 0.567 0.300 0.222

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 97 96 186 186 199 95 107

N.S.

1 1.00 5.71 5.65 10.94 10.94 11.71 5.59 6.29

time (sec)

N/A 0.130 0.013 0.037 0.216 0.218 0.493 0.281 0.152

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 86 85 175 175 187 84 22

N.S.

1 1.00 2.46 2.43 5.00 5.00 5.34 2.40 0.63

time (sec)

N/A 0.144 0.010 0.038 0.213 0.218 0.475 0.292 0.150

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 60 75 74 164 164 175 73 85

N.S.

1 1.15 1.44 1.42 3.15 3.15 3.37 1.40 1.63

time (sec)

N/A 0.153 0.011 0.039 0.208 0.218 0.492 0.307 0.173

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 85 64 63 153 153 163 62 71

N.S.

1 1.23 0.93 0.91 2.22 2.22 2.36 0.90 1.03

time (sec)

N/A 0.168 0.010 0.036 0.228 0.216 0.543 0.291 0.091

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 53 52 142 142 151 51 61

N.S.

1 1.00 0.65 0.64 1.75 1.75 1.86 0.63 0.75

time (sec)

N/A 0.212 0.009 0.038 0.205 0.217 0.411 0.287 0.089

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 42 41 131 131 139 40 48

N.S.

1 1.00 0.66 0.64 2.05 2.05 2.17 0.62 0.75

time (sec)

N/A 0.194 0.007 0.038 0.218 0.213 0.366 0.320 0.284

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 31 30 120 120 128 29 31

N.S.

1 1.00 0.66 0.64 2.55 2.55 2.72 0.62 0.66

time (sec)

N/A 0.174 0.008 0.037 0.203 0.222 0.440 0.291 0.149

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 20 19 109 109 116 18 18

N.S.

1 1.00 0.67 0.63 3.63 3.63 3.87 0.60 0.60

time (sec)

N/A 0.158 0.004 0.036 0.203 0.220 0.324 0.290 0.071

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 12 101 109 12 103

N.S.

1 1.00 1.00 0.93 0.86 7.21 7.79 0.86 7.36

time (sec)

N/A 0.134 0.001 0.037 0.214 0.223 0.387 0.285 0.147

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 127 118 205 388 212 120 145

N.S.

1 1.00 0.90 0.84 1.45 2.75 1.50 0.85 1.03

time (sec)

N/A 0.280 0.063 0.056 0.233 0.232 0.505 0.289 0.643

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 130 137 223 417 233 137 217

N.S.

1 1.00 0.82 0.87 1.41 2.64 1.47 0.87 1.37

time (sec)

N/A 0.333 0.074 0.057 0.221 0.240 0.660 0.290 0.403

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 191 145 149 240 438 246 152 233

N.S.

1 1.00 0.76 0.78 1.26 2.29 1.29 0.80 1.22

time (sec)

N/A 0.368 0.065 0.062 0.225 0.229 0.599 0.294 0.434

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 156 160 251 449 258 163 245

N.S.

1 1.00 0.79 0.81 1.27 2.27 1.30 0.82 1.24

time (sec)

N/A 0.392 0.074 0.063 0.242 0.237 0.837 0.286 0.690

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 141 132 132 136 143 133 132

N.S.

1 1.00 1.00 0.94 0.94 0.96 1.01 0.94 0.94

time (sec)

N/A 0.277 0.008 0.031 0.197 0.214 0.446 0.308 0.092

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 132 121 121 125 131 122 121

N.S.

1 1.00 1.00 0.92 0.92 0.95 0.99 0.92 0.92

time (sec)

N/A 0.255 0.004 0.033 0.197 0.217 0.398 0.293 0.101

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 114 109 109 114 117 110 114

N.S.

1 1.00 1.00 0.96 0.96 1.00 1.03 0.96 1.00

time (sec)

N/A 0.242 0.004 0.000 0.201 0.218 0.459 0.293 0.003

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 109 100 100 103 107 101 100

N.S.

1 1.00 1.00 0.92 0.92 0.94 0.98 0.93 0.92

time (sec)

N/A 0.232 0.004 0.030 0.201 0.216 0.512 0.298 0.092

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 96 89 88 88 95 88 88

N.S.

1 1.00 5.65 5.24 5.18 5.18 5.59 5.18 5.18

time (sec)

N/A 0.131 0.007 0.030 0.203 0.225 0.395 0.284 0.094

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 91 79 79 79 85 79 23

N.S.

1 1.00 2.53 2.19 2.19 2.19 2.36 2.19 0.64

time (sec)

N/A 0.147 0.003 0.028 0.195 0.215 0.310 0.291 0.003

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 62 80 68 68 68 73 68 68

N.S.

1 1.11 1.43 1.21 1.21 1.21 1.30 1.21 1.21

time (sec)

N/A 0.154 0.007 0.038 0.194 0.213 0.269 0.295 0.103

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 67 57 57 57 61 57 56

N.S.

1 1.00 1.00 0.85 0.85 0.85 0.91 0.85 0.84

time (sec)

N/A 0.185 0.005 0.030 0.208 0.210 0.228 0.292 0.002

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 56 46 46 46 49 46 46

N.S.

1 1.00 1.00 0.82 0.82 0.82 0.88 0.82 0.82

time (sec)

N/A 0.171 0.006 0.037 0.202 0.218 0.189 0.286 0.038

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 35 35 35 37 35 35

N.S.

1 1.00 1.00 0.81 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.172 0.003 0.038 0.246 0.218 0.156 0.297 0.032

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 24 24 24 26 24 24

N.S.

1 1.00 1.00 0.80 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.156 0.005 0.036 0.215 0.218 0.120 0.283 0.038

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 13 13 13 14 13 13

N.S.

1 1.00 1.00 0.76 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.142 0.002 0.021 0.218 0.216 0.083 0.271 0.028

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 6 5 5 7 5 5

N.S.

1 1.00 1.00 0.86 0.71 0.71 1.00 0.71 0.71

time (sec)

N/A 0.119 0.000 0.014 0.223 0.214 0.041 0.305 0.022

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 134 119 117 120 116 122 114

N.S.

1 1.00 1.00 0.89 0.87 0.90 0.87 0.91 0.85

time (sec)

N/A 0.254 0.005 0.065 0.210 0.218 0.331 0.300 0.136

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 134 135 141 163 139 180 135

N.S.

1 1.00 0.92 0.92 0.97 1.12 0.95 1.23 0.92

time (sec)

N/A 0.285 0.059 0.071 0.217 0.221 0.302 0.292 0.089

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 145 149 163 207 163 152 157

N.S.

1 1.00 0.89 0.91 1.00 1.27 1.00 0.93 0.96

time (sec)

N/A 0.314 0.069 0.077 0.212 0.235 0.367 0.286 0.252

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 12 13 13 12 15 10

N.S.

1 1.00 1.00 0.71 0.76 0.76 0.71 0.88 0.59

time (sec)

N/A 0.131 0.003 0.061 0.215 0.221 0.060 0.302 0.185

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 12 13 13 12 15 10

N.S.

1 1.00 1.00 0.71 0.76 0.76 0.71 0.88 0.59

time (sec)

N/A 0.141 0.003 0.045 0.204 0.219 0.048 0.284 0.178

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 19 18 21 20 20 18

N.S.

1 1.00 1.00 0.79 0.75 0.88 0.83 0.83 0.75

time (sec)

N/A 0.157 0.002 0.048 0.211 0.216 0.062 0.281 0.088

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 23 23 28 26 25 18

N.S.

1 1.00 1.00 0.74 0.74 0.90 0.84 0.81 0.58

time (sec)

N/A 0.157 0.002 0.049 0.211 0.221 0.055 0.274 0.044

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 28 28 33 31 30 24

N.S.

1 1.00 1.00 0.74 0.74 0.87 0.82 0.79 0.63

time (sec)

N/A 0.161 0.003 0.051 0.205 0.217 0.059 0.297 0.103

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 45 33 33 38 36 35 28

N.S.

1 1.00 1.00 0.73 0.73 0.84 0.80 0.78 0.62

time (sec)

N/A 0.165 0.003 0.051 0.213 0.212 0.088 0.292 0.043

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 26 21 22 32 19 25 20

N.S.

1 1.00 0.93 0.75 0.79 1.14 0.68 0.89 0.71

time (sec)

N/A 0.161 0.010 0.066 0.203 0.214 0.058 0.290 0.171

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 31 28 31 48 31 40 34

N.S.

1 1.00 0.89 0.80 0.89 1.37 0.89 1.14 0.97

time (sec)

N/A 0.160 0.010 0.065 0.208 0.215 0.065 0.301 0.095

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 36 33 38 59 36 51 31

N.S.

1 1.00 0.86 0.79 0.90 1.40 0.86 1.21 0.74

time (sec)

N/A 0.163 0.009 0.066 0.222 0.227 0.064 0.290 0.048

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 44 38 43 64 41 60 37

N.S.

1 1.00 0.90 0.78 0.88 1.31 0.84 1.22 0.76

time (sec)

N/A 0.182 0.022 0.066 0.213 0.223 0.067 0.298 0.103

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 56 43 48 69 46 69 41

N.S.

1 1.00 1.00 0.77 0.86 1.23 0.82 1.23 0.73

time (sec)

N/A 0.173 0.007 0.067 0.219 0.221 0.132 0.339 0.104

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 29 28 30 50 27 27 29

N.S.

1 1.00 0.74 0.72 0.77 1.28 0.69 0.69 0.74

time (sec)

N/A 0.160 0.015 0.063 0.208 0.227 0.098 0.308 0.134

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 39 36 41 68 41 37 35

N.S.

1 1.00 0.85 0.78 0.89 1.48 0.89 0.80 0.76

time (sec)

N/A 0.168 0.014 0.064 0.230 0.231 0.073 0.313 0.104

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 44 40 48 79 46 43 41

N.S.

1 1.00 0.83 0.75 0.91 1.49 0.87 0.81 0.77

time (sec)

N/A 0.186 0.017 0.067 0.207 0.218 0.113 0.333 0.100

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 49 45 53 84 51 47 47

N.S.

1 1.00 0.82 0.75 0.88 1.40 0.85 0.78 0.78

time (sec)

N/A 0.177 0.013 0.067 0.241 0.221 0.117 0.380 0.051

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 54 50 58 89 56 52 51

N.S.

1 1.00 0.81 0.75 0.87 1.33 0.84 0.78 0.76

time (sec)

N/A 0.182 0.014 0.068 0.219 0.226 0.090 0.324 0.054

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 10 7 6 6 7 7 6

N.S.

1 1.00 1.25 0.88 0.75 0.75 0.88 0.88 0.75

time (sec)

N/A 0.123 0.001 0.041 0.214 0.220 0.018 0.327 0.172

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 7 8 8 8 9 6

N.S.

1 1.00 1.00 0.70 0.80 0.80 0.80 0.90 0.60

time (sec)

N/A 0.125 0.001 0.050 0.221 0.215 0.021 0.321 0.087

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 16 13 12 10 14 13 10

N.S.

1 1.00 1.14 0.93 0.86 0.71 1.00 0.93 0.71

time (sec)

N/A 0.128 0.002 0.057 0.233 0.228 0.019 0.293 0.120

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 16 20 17 17 16

N.S.

1 1.00 1.00 0.85 0.80 1.00 0.85 0.85 0.80

time (sec)

N/A 0.136 0.003 0.107 0.203 0.221 0.027 0.299 0.121

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 21 19 19 14

N.S.

1 1.00 1.00 0.86 0.82 0.95 0.86 0.86 0.64

time (sec)

N/A 0.135 0.002 0.071 0.216 0.228 0.022 0.294 0.057

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 23 19 19 16

N.S.

1 1.00 1.00 0.86 0.82 1.05 0.86 0.86 0.73

time (sec)

N/A 0.132 0.002 0.069 0.208 0.217 0.051 0.292 0.064

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 19 18 24 19 19 16

N.S.

1 1.00 1.00 0.90 0.86 1.14 0.90 0.90 0.76

time (sec)

N/A 0.133 0.004 0.053 0.208 0.225 0.048 0.290 0.195

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 22 19 18 24 20 19 14

N.S.

1 1.00 1.10 0.95 0.90 1.20 1.00 0.95 0.70

time (sec)

N/A 0.135 0.005 0.055 0.208 0.221 0.063 0.312 0.180

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 11 11 8 13 9

N.S.

1 1.00 1.00 1.09 1.00 1.00 0.73 1.18 0.82

time (sec)

N/A 0.131 0.003 0.059 0.210 0.220 0.102 0.293 0.114

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 12 11 11 8 13 9

N.S.

1 1.00 1.00 1.00 0.92 0.92 0.67 1.08 0.75

time (sec)

N/A 0.128 0.002 0.051 0.215 0.220 0.093 0.286 0.044

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 20 19 21 14 21 16

N.S.

1 1.00 1.00 1.05 1.00 1.11 0.74 1.11 0.84

time (sec)

N/A 0.146 0.004 0.054 0.198 0.222 0.065 0.296 0.052

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 18 17 21 14 19 14

N.S.

1 1.00 1.00 1.00 0.94 1.17 0.78 1.06 0.78

time (sec)

N/A 0.149 0.003 0.053 0.218 0.223 0.117 0.284 0.047

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 15 14 15 10 15 20

N.S.

1 1.00 1.00 1.07 1.00 1.07 0.71 1.07 1.43

time (sec)

N/A 0.153 0.004 0.048 0.206 0.220 0.076 0.283 0.039

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 46 43 56 53 1742 116 56

N.S.

1 1.00 0.64 0.60 0.78 0.74 24.19 1.61 0.78

time (sec)

N/A 0.195 0.022 0.113 0.216 0.217 1.703 0.300 0.059

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 35 32 41 42 666 93 37

N.S.

1 1.00 0.66 0.60 0.77 0.79 12.57 1.75 0.70

time (sec)

N/A 0.164 0.005 0.093 0.204 0.224 1.205 0.286 0.048

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 21 26 30 202 66 25

N.S.

1 1.00 1.00 0.62 0.76 0.88 5.94 1.94 0.74

time (sec)

N/A 0.153 0.003 0.083 0.212 0.225 0.742 0.279 0.032

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 12 12 12 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.75 0.75 0.75

time (sec)

N/A 0.134 0.002 0.056 0.202 0.233 0.016 0.308 0.024

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 28 42 73 68 32 27

N.S.

1 1.00 1.00 0.80 1.20 2.09 1.94 0.91 0.77

time (sec)

N/A 0.150 0.005 0.075 0.293 0.243 0.844 0.296 0.116

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 32 47 93 44 41 31

N.S.

1 1.00 1.00 0.82 1.21 2.38 1.13 1.05 0.79

time (sec)

N/A 0.147 0.010 0.076 0.292 0.229 1.175 0.291 0.054

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 63 55 44 88 119 97 66 48

N.S.

1 0.97 0.85 0.68 1.35 1.83 1.49 1.02 0.74

time (sec)

N/A 0.172 0.082 0.083 0.307 0.234 2.134 0.299 0.073

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 91 67 56 121 145 122 84 66

N.S.

1 1.05 0.77 0.64 1.39 1.67 1.40 0.97 0.76

time (sec)

N/A 0.171 0.106 0.092 0.298 0.226 6.516 0.304 0.116

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 46 43 56 64 1742 193 56

N.S.

1 1.00 0.64 0.60 0.78 0.89 24.19 2.68 0.78

time (sec)

N/A 0.178 0.027 0.097 0.202 0.220 2.171 0.301 0.052

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 35 32 41 53 733 156 37

N.S.

1 1.00 0.66 0.60 0.77 1.00 13.83 2.94 0.70

time (sec)

N/A 0.165 0.022 0.091 0.230 0.218 1.222 0.315 0.044

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 24 21 26 41 80 119 25

N.S.

1 1.00 0.71 0.62 0.76 1.21 2.35 3.50 0.74

time (sec)

N/A 0.151 0.019 0.083 0.209 0.220 0.204 0.287 0.031

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 28 12 58 12

N.S.

1 1.00 1.00 0.81 0.75 1.75 0.75 3.62 0.75

time (sec)

N/A 0.123 0.002 0.055 0.211 0.217 0.018 0.301 0.020

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 51 44 35 52 88 71 44 37

N.S.

1 1.04 0.90 0.71 1.06 1.80 1.45 0.90 0.76

time (sec)

N/A 0.159 0.028 0.069 0.290 0.228 1.776 0.295 0.049

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 55 45 45 58 102 92 56 42

N.S.

1 1.08 0.88 0.88 1.14 2.00 1.80 1.10 0.82

time (sec)

N/A 0.167 0.059 0.090 0.279 0.221 1.966 0.300 0.152

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 61 53 42 86 124 76 64 46

N.S.

1 0.98 0.85 0.68 1.39 2.00 1.23 1.03 0.74

time (sec)

N/A 0.157 0.095 0.124 0.291 0.240 1.778 0.299 0.084

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 85 67 56 119 145 124 84 64

N.S.

1 1.01 0.80 0.67 1.42 1.73 1.48 1.00 0.76

time (sec)

N/A 0.171 0.110 0.093 0.281 0.235 3.866 0.300 0.150

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 46 43 56 75 146 281 56

N.S.

1 1.00 0.64 0.60 0.78 1.04 2.03 3.90 0.78

time (sec)

N/A 0.173 0.027 0.103 0.210 0.221 0.676 0.294 0.071

[next] [prev] [prev-tail] [front] [up]